国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻 >The equational theory of weak complete simulation semantics over BCCSP
【2h】

The equational theory of weak complete simulation semantics over BCCSP

機譯：BCCSP上的弱完整仿真語義的方程式理論

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻查詢和代理獲取服務，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻不完整或與標題不符等情況，如果獲取不到我們將提供退款服務。請知悉。
  • 摘要
  • 著錄項
  • 相似文獻
  • 相關主題

摘要

This paper presents a complete account of positive and negative results on the finite axiomatizability of weak complete simulation semantics over the language BCCSP. We offer finite (un)conditional ground-complete axiomatizations for the weak complete simulation precongruence. In sharp contrast to this positive result, we prove that, in the presence of at least one observable action, the (in)equational theory of the weak complete simulation precongruence over BCCSP does not have a finite (in)equational basis. In fact, the set of (in)equations in at most one variable that hold in weak complete simulation semantics over BCCSP does not have an (in)equational basis of ‘bounded depth’, let alone a finite one.
機譯：本文全面介紹了BCCSP語言上弱完整仿真語義的有限公理化的正面和負面結(jié)果。對于弱的完整模擬預一致性，我們提供了有限（無條件）的地面完全公理化。與這一積極結(jié)果形成鮮明對比的是，我們證明，在至少一個可觀察到的動作存在的情況下，BCCSP上的弱完整模擬預一致的（不等式）理論沒有有限的（不等式）基礎。實際上，在BCCSP上具有弱完整仿真語義的至多一個變量中的一組（不等式）沒有“邊界深度”的不等式基礎，更不用說有限的了。

著錄項

相似文獻

  • 外文文獻
  • 中文文獻
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務號